Reliable Fortran